卫星能源约束检查模型改进及仿真

卫星能源约束检查模型对卫星任务规划有重要参考作用,可防止因能源不足而导致卫星故障或任务不能顺利完成。现有的能源约束检查模型存在部分问题:人为设定计算初始值,导致计算不准确;能源约束检查不通过时未给出符合能源约束的任务调整建议,导致任务不能快速调整;未对计算误差进行校正,导致误差积累。对此,提出了一种改进的能源约束检查模型,在原有模型中加入能源数据库对卫星运行的能源数据进行记录,从而准确获取初始值,并在模型中加入任务调整和遥测校正功能。该模型可实现能源约束计算自动管理及任务自动调整功能,缩短任务规划周期,提升紧急任务的执行效率。对改进的模型进行仿真,结果表明:模型预测结果与预期值相符,任务调整和能源校正功能实现良好,能实际应用到运控系统中进行规划任务能源约束检查和能源管理。     

A robust object-based shadow detection method for cloud-free high resolution satellite images over urban areas and water bodies

Unwanted contrast in high resolution satellite images such as shadow areas directly affects the result of further processing in urban remote sensing images. Detecting and finding the precise position of shadows is critical in different remote sensing processing chains such as change detection, image classification and digital elevation model generation from stereo images. The spectral similarity between shadow areas, water bodies, and some dark asphalt roads makes the development of robust shadow detection algorithms challenging. In addition, most of the existing methods work on pixel-level and neglect the contextual information contained in neighboring pixels. In this paper, a new object-based shadow detection framework is introduced. In the proposed method a pixel-level shadow mask is built by extending established thresholding methods with a new C₄ index which enables to solve the ambiguity of shadow and water bodies. Then the pixel-based results are further processed in an object-based majority analysis to detect the final shadow objects. Four different high resolution satellite images are used to validate this new approach. The result shows the superiority of the proposed method over some state-of-the-art shadow detection method with an average of 96% in F-measure.     

一种高动态低信噪比卫星导航信号捕获方法

为提升高动态低信噪比环境下卫星导航信号的捕获性能,提出了一种基于分数阶傅里叶变换(FrFT)及部分匹配滤波(PMF)的捕获方法。在该方法中,接收机首先利用PMF对接收信号做分段相干积分,随后借助快速傅里叶变换(FFT)对分段积分结果做离散快速FrFT,最后通过检测FrFT输出的峰值完成信号的捕获。由于具有多普勒频率变化率的卫星导航信号在FrFT后呈现能量聚焦特性,所提方法能够显著提高信号的长时间相干积分增益。同时对所提算法的捕获概率、平均捕获时间以及算法复杂度等性能指标进行了理论分析及计算机仿真验证。仿真表明,与传统的PMF-FFT方法相比,所提方法能够通过延长相干积分时间的方式有效提升高动态低信噪比卫星导航信号的捕获概率、降低捕获时间。     

CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

CBERS-1卫星IRMSS数据在城市绿地系统规划的应用

文章以CBERS -1卫星长沙幅IRMSS数据作为基础资料 ,利用PCI遥感图像处理软件对数据进行了预处理和应用实验。实验证明CBERS -1卫星的IRMSS数据图像信息丰富 ,可解译程度较高 ,能满足大中城市中等比例尺城市绿地系统规划遥感调查的要求     

一个串行口Javabean的研究与设计

本文描述了一个基于JavaBean组件标准的串行通信组件的实现原理、实现过程以及实现方法。它将被作为C／S系统的一个组，以实现某些工业控制场合中远程控制的要求。充分利用了Java语言的事件监听机制、串行性、持久性、自检以及JavaBean的定制等特性，并经由Java本地接口（JNI－Java Native Interface)调用硬件控制等底层操作，具体实现了一个串行通信组件必需的功能，如初始化、读写操作等。在所需要的.DLL的支持下，所有安装了Java虚拟机的Windows系统都可以使用这个.Jar文件。     

求解含多个右端向量非对称线性方程组的自适应块拟最小残量IOM(q)算法

许多实际应用问题需要求解含多个右端向量的大型非对称线性方程组 ,通常是把原来方程组分成单独几个含一个右端向量的方程组 ,再用某种迭代法分别单个求解 ,而更加经济有效的方法是应用能同时产生几个迭代向量的块迭代法来直接求解。本文在 IOM(q)算法的基础上 ,提出一种求解此类方程组的块拟最小残量 IOM(q)算法 ,讨论了如何收缩掉已收敛的部分方程组以及如何从产生的块 Krylov序列中删除线性相关或几乎线性相关向量的自适应技术。数值试验表明 ,此新的自适应块算法比块 GMRES算法及其他相关算法具有更好的收敛行为、更少的计算量和 CPU计算时间 ,是求解此类方程组的一种更加经济有效的算法。     

一种无塔校准方法研究

在地面卫星测控系统中,目前使用较多的有塔校准技术具有一定的局限性,为了克服这种局限性,本文针对已有的卫星测控系统设备提出一种无塔校准方法,给出了具体无塔校相和无塔校零的实现方法.     

A Novel Onboard-gateway-based Mechanism to Improve TCP Performance in Aeronautical Satellite Networks

The IP-based networks on aircraft serve to support Internet services via satellites. However, in aeronautical satellite hybrid net- works,the TCP protocol performance often deteriorates due to improper decreases and slow recovery of the congestion window. This paper proposes a window size determination and notification mechanism, onboard-gateway-based mechanism (OGBM), which is based on the onboard gateway in the networks on aircraft. A cross-layer approach is adopted by the onboard gateway to obtain the satellite link bandwidth information. And then, by the gateway, through changing the receiver’s advertised window field in ACK packets, TCP sources are notified of the window size of each TCP source calculated on the ground of bandwidth delay product and flow numbers. The mechanism is able to avoid improper changes of TCP window and serve multiple users. Simulation results show that the mechanism with the fairness index close to 1 improves TCP performance in aeronautical satellite networks.     

区域极点及方差约束下的航天器拦截控制：静态输出反馈情形

本文提出并讨论了具有选通窗约束的航天器拦截控制问题，指出航天器拦截控制的稳暂态性能指标可表现为系统稳态状态方差及闭环区域极点的形式。然后，基于配置控制的思想，本文完整地给出了期望静态反馈控制器的存在条件及其解析表达式，并举例说明所提设计方法的直接性与有效性